Big Huge Thesaurus

logical implication

noun

• implication
• conditional relation
• logical relation